Nuprl Definition : ma-single-sends 0,22
with declarations 
ds:ds
da:da
k(v) sends f s v on link l
== mk-ma(ds;
== da;
== ;
== ;
== ;
== <k,l> : f;
== ;
== ;
== ;
== ;
== ) 
latex

Definitionsmk-ma, x : v, <a,b>,
FDL editor aliasesma-single-sends

origin